Issue2583.agda:7,1-10,26
Termination checking failed for the following functions:
  test
Problematic calls:
  test x
    (at Issue2583.agda:10,20-24)
